Sense and denotation as algorithm and value Advanced course

Sense and denotation as algorithm and value

In his classic 1892 paper On sense and denotation [12], Frege first contends that in addition to their denotation (reference, Bedeutung), proper names also have a sense (Sinn) “wherein the mode of presentation [of the denotation] is contained.” Here proper names include common nouns like “the earth” or “Odysseus” and descriptive phrases like “the point of intersection of lines L1 and L2” which ...

Sense and Denotation as Algorithm and Value

Denotation by Sense and Reference

The notion of reference as entailment in the common ground provides a uniied framework for the treatment of denotation by names, deenite descriptions, and pronouns, including anaphors. Within this framework, semantic and pragmatic considerations are combined, giving two kinds of proof of denotation, by sense and by reference, for references to individuals which are and aren't already in the com...

The senses of functions in the Logic of Sense and Denotation

This paper discusses certain problems arising within the treatment of the senses of functions in Alonzo Church’s Logic of Sense and Denotation. Church understands such senses themselves to be “sense-functions,” functions from sense to sense. However, the conditions he lays out under which a sense-function is to be regarded as a sense presenting another function as denotation allow for certain u...

Detailed Proof of Theorem 4.1 in Sense and Denotation as Algorithm and Value

§4. Sense identity and indirect reference. Van Heijenoort [30] quotes an extensive passage from a 1906 letter from Frege to Husserl which begins with the following sentence: “It seems to me that we must have an objective criterion for recognizing a thought as the same thought, since without such a criterion a logical analysis is not possible.” This could be read as asserting the existence of a ...